Kalimoldayev M. N., Biyashev R. G., Rog O. A. «Analysis of the methods for attribute-based access control» // Applied Discrete Mathematics 2019. №44 C.43-57
Chebotarev A. N. «REGULAR FORM OF DETERMINISTIC FSMS SPECIFICATIONS IN THE LANGUAGE L.» // 2010. №4(10) C.64-72